id.\*:("3-540-46253-8")
Results 1 to 1 of 1
Selection :
Refinement techniques in software engineering (First Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23 - December 5, 2004)Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-46253-8, 1Vol, X-391 p, isbn 3-540-46253-8Conference Proceedings